Représentation symbolique d'espèces moléculaires

Représentation Symbolique de Trajectoires Géolocalisées

RESUME. Énormément de trajectoires géolocalisées sont produites et disponibles, mais leur exploitation pour en tirer des informations intéressantes reste difficile. L'obstacle qui nous intéresse ici est la mauvaise qualité de certaines de ces données : échantillonnage très irrégulier et précision médiocre. Nous proposons de les transposer dans des domaines symboliques pour pouvoir effectuer des...

Représentation des connaissances géotechniques

RÉSUMÉ : La représentation des connaissances géotechniques présente de nombreuses difficultés, notamment dans le cadre d’un système d’aide à la conception de projet, système qui soit directement utilisable par les spécialistes du domaine. Cet article présente ces difficultés ainsi qu’une approche utilisée dans le cadre d’un projet spécifique, reposant sur la constitution d’une ontologie simplif...

Query by Example for Symbolic Still Image Retrieval

RÉSUMÉ. Cet article décrit et défini l’utilisation de requêtes par l’exemple (QBE) dans le cadre de recherche symbolique d’images photographiques. La nouveauté de cette approche consiste en l’utilisation conjointe d’indexation symbolique automatique et d’un formalisme de représentation de connaissances pour représenter le contenu des images. De plus, le mécanisme d’abstraction perm la recherche...

Autojection et compilateurs procedure formelle symbolique

Test Symbolique De Services Web Composites

Web services are gaining industry-wide acceptance and usage by fostering the development of distributed applications out of the composition of simpler entities called services. In complement to verification, testing allows one to check for the correctness of a binary (no source code) service implementation with reference to a specification. In this thesis, we propose black box conformance testi...